Automatic Judgment and Reasoning About Punishment

Reasoning, Judgment, and Pragmatics

Formal Reasoning about Dialogue Properties with Automatic Support

One of the advantages of using formal methods in the design of human–computer interfaces is the possibility to reason about user interface properties. Model checking techniques provide a useful support to this end. This paper discusses the possibilities of verifying the properties of user interfaces and related problems, such as when the dialogue specification has an infinite number of states. ...

Using inductive reasoning and reasoning about dynamic domains for automatic processing of claims

We report on the novel approach to modeling a dynamic domain with limited knowledge. A domain may include participating agents so that we are uncertain about motivations and decisionmaking principles of some of these agents. Our reasoning setting for such domain includes the deductive and inductive components. The former component is based on situation calculus and describes the behavior of age...

Emotion and Deliberative Reasoning in Moral Judgment

According to an influential dual-process model, a moral judgment is the outcome of a rapid, affect-laden process and a slower, deliberative process. If these outputs conflict, decision time is increased in order to resolve the conflict. Violations of deontological principles proscribing the use of personal force to inflict intentional harm are presumed to elicit negative affect which biases jud...

Reflection and Reasoning in Moral Judgment

While there is much evidence for the influence of automatic emotional responses on moral judgment, the roles of reflection and reasoning remain uncertain. In Experiment 1, we induced subjects to be more reflective by completing the Cognitive Reflection Test (CRT) prior to responding to moral dilemmas. This manipulation increased utilitarian responding, as individuals who reflected more on the C...